Slicing nichtterminierender Programme
نویسنده
چکیده
Wir stellen einen Slicing-basierten Ansatz zur Terminationsanalyse von Logikprogrammen vor. Um die Terminationseigenschaften eines Programms zu erklären, werden ausführbare Programmfragmente (failure-slices) bestimmt. Falls eines dieser Programmfragmente nicht terminiert, so terminiert auch das gesamte Programm nicht. Der für die Nichttermination verantwortliche Teil des Programms kann so meist auf einige wenige Klauseln eingegrenzt werden. Zur Bestimmung dieser Programmfragmente verbindet der vorgestellte Ansatz eine globale statische Constraintbasierte Analyse mit der dynamischen Ausführung von Programmfragmenten.
منابع مشابه
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
Diese Arbeit präsentiert eine neue Methode zur Sicherheitsanalyse von Software im Bereich der Manipulationsprüfung und der Einhaltung von Informationsflüssen zwischen verschiedenen Sicherheitsniveaus. Program-Slicing und Constraint-Solving sind eigenständige Verfahren, die sowohl zur Abhängigkeitsbestimmung als auch zur Berechnung arithmetischer Eigenschaften verwendet werden. Die erstmalige Ko...
متن کاملDynamic Slicing: a generic analysis based on a natural semantics format
Slicing analyses have been proposed for diierent programming languages. Rather than deening a new analysis from scratch for each programming language, we would like to specify such an analysis once for all, in a language-independent way, and then specialise it for diierent programming languages. In order to achieve this goal, we propose a notion of natural semantics format and a dynamic slicing...
متن کاملUsing Program Slicing Technique to Reduce the Cost of Software Testing
Systems of computers and their application in the lives of modern human beings are vastly expanding. In any kind of computer application, failure in computer systems can lead to a range of financial and mortal losses. Indeed, the major origin of software failure can be located in designing or implementing software. With regard to these statistics, 30% of the software projects have been prospero...
متن کاملEffect of Different Harvesting Techniques on the Recovery and Quality of Bovine Cumulus Oocyte Complexes
This study investigated the effect of different harvesting techniques on the recovery rate and quality of bovine cumulus oocyte complexes (COCs) and their subsequent developmental competence including in vitro maturation, fertilization and blastocyst formation. The COCs were retrieved from slaughter ovaries using aspiration, slicing, or aspiration followed by slicing. The COCs were examined mic...
متن کاملAbstract Program Slicing: From Theory towards an Implementation
Program Slicing: From Theory towards an Implementation Isabella Mastroeni and Ðurica Nikolić Dipartimento di Informatica, Università di Verona, Italy [email protected], [email protected] Abstract. In this paper we extend the formal framework proposed by Binkley et al. for representing and comparing forms of program slicing. This framework describes many well-known forms of slic...
متن کامل